/* Aqui solamente referenciamos estilos del archivo css principal para poder aplicarlos sin 
  usar cadenas de texto. Ver Menu.java. */
@external menuContenedor, menuGrupo, menuCabecera, menuEnlace, seleccionado;
.menuContenedor{}
.menuGrupo{}
.menuCabecera{}
.menuEnlace{}
.seleccionado{}
